Msg(${\it da}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$Msg($\lambda$$l$,${\it tg}$. ${\it da}$(rcv($l$,${\it tg}$))?Void)